Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
631	Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-03-10 03:37:53 Reasoning Artificial intelligence Non-classical logic Modal logic Logic programming Knowledge representation and reasoning Epistemic modal logic Description logic Reason Logic Science Mathematical logic
632	Efficient Concurrency-Bug Detection Across Inputs Dongdong Deng Wei Zhang Shan Lu Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-08-04 18:25:14 Computing Theoretical computer science Computer programming Logic in computer science Software testing Linearizability Race condition Atomicity Lock Software bugs Transaction processing Concurrency control
633	Validating Library Usage Interactively? William R. Harris, Guoliang Jin, Shan Lu, and Somesh Jha University of Wisconsin, Madison, WI, USA { wrharris, aliang, shanlu, jha }@cs.wisc.edu Abstract. Programmers who develop Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-05-03 16:27:37 Computing Logic in computer science Theoretical computer science Programming language semantics Abductive reasoning Charles Sanders Peirce Operational semantics ALGOL 68 Algorithm Procedural programming languages Programming language theory Software engineering
634	Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-01-14 11:26:18 Computer programming Lambda calculus Logic in computer science Gossip protocol Network architecture Combinatory logic OCaml Peer-to-peer Chord Computing Distributed data storage Software
635	Jitting Prolog for Fun and Profit David Schneider Carl Friedrich Bolz Add to Reading List Source URL: bergel.eu Language: English - Date: 2010-05-27 08:39:11 Compiler construction Programming language implementation PyPy Prolog Just-in-time compilation Partial evaluation Logic programming Interpreter Compiler Software engineering Computing Computer programming
636	Production-Run Software Failure Diagnosis via Hardware Performance Counters Joy Arulraj Po-Chun Chang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-01-24 18:43:34 Central processing unit Software optimization Predicate logic Predicate Parallel computing Hardware performance counter Lock Software bug Profiling Computing Computer programming Concurrency control
637	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming
638	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog using Maude Huibiao Zhu1 Peng Liu1 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:48:22 Mathematical logic Logic in computer science Semantics Grammar Denotational semantics Operational semantics Algebraic semantics Negation Interpretation Programming language semantics Theoretical computer science Logic
639	Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 11:25:49 Programming language theory Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Monad Theoretical computer science Computer science Type theory
640	Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Control flow Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM For loop C Static single assignment form Computing Software engineering Computer programming

UPDATE